Automated Synthesis of Normative Systems

Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems. The automated synthesis of norms for coordination remains an open and complex problem, which we tackle in this paper. We propose a novel mechanism called IRON (Intelligent Robust On-line Norm synthesis mechanism), for the on-line synthesis of norms. IRON aims to synthesise conflict-free norms without lapsing into over-regulation. Thus, IRON produces norms that characterise necessary conditions for coordination, without over-regulation. In addition to defining the norm synthesis problem formally, we empirically show that IRON is capable of synthesising norms that are effective even in the presence of non-compliance behaviours in a system. Source URL: https://www.iiia.csic.es/en/node/54481 Links [1] https://www.iiia.csic.es/en/staff/javier-morales [2] https://www.iiia.csic.es/en/staff/maite-l%C3%B3pez-s%C3%A1nchez [3] https://www.iiia.csic.es/en/staff/juan-rodr%C3%ADguez-aguilar [4] https://www.iiia.csic.es/en/staff/michael-wooldridge [5] https://www.iiia.csic.es/en/staff/wamberto-w-vasconcelos [6] https://www.iiia.csic.es/en/bibliography?f[keyword]=562 [7] https://www.iiia.csic.es/en/bibliography?f[keyword]=444 [8] https://www.iiia.csic.es/en/bibliography?f[keyword]=499